Nuprl Definition : interface-right
11,40
postcript
pdf
interface-right(
X
) ==
f
,
s
.
x
.invert-union(
x
) o
f
(
s
) o
X
latex
Definitions
g
o
f
,
f
o
g
,
x
.
A
(
x
)
,
invert-union(
x
)
,
f
(
a
)
FDL editor aliases
interface-right
origin
f,s. x.invert-union(x) o f(s) o X f,s. x.invert-union(x) o f(s) o X x.A(x)